main(n){scanf("%d",&n);printf("%d",(n+1)*n/2);}
